ASL[1]

Algebraic Specification Language.

"Structured Algebraic Specifications: A Kernel Language", M. Wirsing, Theoretical Computer Science 42, pp.123-249, Elsevier, 1986.